Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
801	Fusing a Transformation Language with an Open Compiler Karl Trygve Kalleberg 1 Department of Informatics, University of Bergen, P.O. Box 7800, N-5020 BERGEN, Norway Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2007-10-01 14:24:18 Programming language implementation Compiler construction Transformation languages Stratego/XT ASF+SDF Meta Environment Compiler Program transformation Type system Stratego Computing Software engineering Programming language theory
802	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:08 Elementary mathematics Constraint programming Type theory Environment variable Function Differential of a function Constraint satisfaction problem Mathematics Algebra Variables
803	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionAugustDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-08-02 13:59:39 Embedded Linux Smartphones Information flow Information theory Android Apache Ant Type system Java Static single assignment form Software Computing Cross-platform software
804	Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail: Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:35:07 Programming language theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Lambda calculus Eval Software engineering Type theory Computing
805	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
806	Program Extrapolation with Jennisys K. Rustan M. Leino0 and Aleksandar Milicevic1 0 Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-07 17:01:53 Data types Type theory Control flow Eval Type system Concolic testing Constructor Algorithm KeY Computing Software engineering Mathematics
807	Towards Automatic Functional Test Execution Pablo Pedemonte IBM Argentina Ing. Butty 275 – C1001AFA Buenos Aires, Argentina Add to Reading List Source URL: tlau.org Language: English - Date: 2012-03-05 14:48:09 Tuple Type theory Algorithm Software testing Linearizability Segmentation Natural language processing Mathematics Data management Mathematical notation
808	Package ‘Runuran’ February 19, 2015 Type Package Title R interface to the UNU.RAN random variate generators VersionDate Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2015-02-19 16:36:26 Randomness Probability theory Monte Carlo methods Inverse transform sampling Probability distribution Quantile function Normal distribution Random number generation Probability mass function Probability and statistics Statistics Non-uniform random numbers
809	Introduction Setup Solution Concepts, Type Spaces and Questions Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2010-01-06 13:31:57 Game theory Mechanism design Social choice theory
810	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science

UPDATE